Received: by toadflax.cs.ucdavis.edu (4.1/UCD.CS.2.6)
id AA09165; Tue, 22 Nov 94 19:00:42 PST
Received: from nova.unix.portal.com by toadflax.cs.ucdavis.edu (4.1/UCD.CS.2.6)
id AA09159; Tue, 22 Nov 94 19:00:38 PST
Received: from jobe.shell.portal.com (root@jobe.shell.portal.com [156.151.3.4]) by nova.unix.portal.com (8.6.9/8.6.5) with ESMTP id TAA12531 for <announce@cs.ucdavis.edu>; Tue, 22 Nov 1994 19:00:38 -0800
Received: (chrish@localhost) by jobe.shell.portal.com (8.6.9/8.6.5) id SAA29212 for announce@cs.ucdavis.edu; Tue, 22 Nov 1994 18:50:51 -0800